body {
  color: #1A1A1A;
  font-size: 14px;
  padding: 20px;
  font-family: verdana, arial, sans-serif;
}
h1, h2, h3 {
  color: #1A1A1A;
  font-size: 18px;
  margin: 0;
  padding: 0;
}
h1 {
  font-size: 24px;
  margin: 0 0 15px 0;
}
h3 {
  margin: 0 0 5px 0;
}
div.diff_original h3, div.diff_copy h3 {
  margin: 0;
}
div.diff_original, div.diff_copy {
  float: left;
  margin: 0;
  padding: 0;
  width: 49%;
}
div.diff_original {
  margin-right: 2%;
}
#diff_original, #diff_copy {
  border: 1px solid #595959;
  font-family: verdana, arial, sans-serif;
  font-size: 14px;
  height: 400px;
  line-height: 140%;
  margin: 0;
  padding: 0px;
  width: 100%;
}
#diff_copy_warning {
  color: #990000;
  font-size: 12px;
  margin-left: 10px;
}
p.submit {
  margin: 0;
  padding: 0;
  text-align: right;
}
p.submit button {
  font-family: verdana, arial, sans-serif;
  font-size: 18px;
  margin: 5px 0 0 0;
  padding: 5px 7px;
}
#diff_result {
  display: none;
}
#diff_result p {
  line-height: 140%;
  margin: 0 0 10px 0;
  padding: 0;
}
#diff_result small {
  font-size: 12px;
  font-weight: normal;
}
#diff_result ins {
  background: #73B9FF;
  text-decoration: none;
}
#diff_result del {
  background: #FF9999;
  text-decoration: none;
}
#diff_errors, #diff_score {
  color: #990000;
}
#diff_text {
  font-family: verdana, arial, sans-serif;
  font-size: 14px;
  line-height: 140%;
}
#timer {
  position: absolute;
  top: 20px;
  right: 25px;
  font-size: 14px;
  font-weight: bold;
}
#timer_clock {
  font-family: monospace;
  font-weight: normal;
}
#timer button {
  font-family: verdana, arial, sans-serif;
  font-size: 14px;
  margin: 0 0 0 5px;
  padding: 2px 4px;
  font-weight: normal;
}

/*
     FILE ARCHIVED ON 04:43:51 May 26, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 22:28:45 Apr 21, 2023.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 98.135
  exclusion.robots: 0.068
  exclusion.robots.policy: 0.059
  cdx.remote: 0.053
  esindex: 0.007
  LoadShardBlock: 72.811 (3)
  PetaboxLoader3.datanode: 158.608 (5)
  load_resource: 210.464 (2)
  PetaboxLoader3.resolve: 101.071 (2)
*/